ar X iv : c s . C C / 0 70 11 23 v 1 19 J an 2 00 7 Feasible Depth

نویسندگان

  • David Doty
  • Philippe Moser
چکیده

This paper introduces two complexity-theoretic formulations of Bennett’s logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow growth law holds, implying that deep sequences cannot be created easily from shallow sequences. Furthermore, the E analogue of the halting language is shown to be polynomial-time deep, by proving a more general result: every linear-time weakly useful for E language (a language to which a nonnegligible subset of E can be reduced in uniform linear time) is polynomial-time deep.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : 0 71 0 . 35 19 v 1 [ cs . C C ] 1 8 O ct 2 00 7 P - matrix recognition is co - NP - complete

This is a summary of the proof by G.E. Coxson [1] that P-matrix recognition is co-NP-complete. The result follows by a reduction from the MAX CUT problem using results of S. Poljak and J. Rohn [5].

متن کامل

ar X iv : 0 70 7 . 40 46 v 1 [ m at h . A G ] 2 7 Ju l 2 00 7 CLIFFORD ’ S THEOREM FOR COHERENT SYSTEMS

Let C be an algebraic curve of genus g ≥ 2. We prove an analogue of Clifford’s theorem for coherent systems on C and some refinements using results of Re and Mercat.

متن کامل

ar X iv : 0 70 7 . 14 19 v 1 [ he p - ph ] 1 0 Ju l 2 00 7 Unparticle as a field with continuously distributed mass

We point out that the notion of an unparticle, recently introduced by Georgi, can be interpreted as a particular case of a field with continuously distributed mass considered in ref.[11]. We also point out that the simplest renormalizable extension of the SU c (3)⊗SU L (2)⊗U (1) Standard Model is the extension with the replacement of the U (1) gauge propagator 1 k 2 → 1 k 2 + ∞ 0 ρ(t) −t+k 2 +i...

متن کامل

ar X iv : c s . C G / 0 70 30 23 v 1 6 M ar 2 00 7 Computing a Minimum - Dilation Spanning Tree is NP - hard ∗

In a geometric network G = (S,E), the graph distance between two vertices u, v ∈ S is the length of the shortest path in G connecting u to v. The dilation of G is the maximum factor by which the graph distance of a pair of vertices differs from their Euclidean distance. We show that given a set S of n points with integer coordinates in the plane and a rational dilation δ > 1, it is NP-hard to d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007